Schieferdecker, Ina: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Digitale Innovationen und TechnologiesouverÃ¤nitÃ¤t; Digital Innovations and Technological Sovereignty;

Schieferdecker, Ina, March, Christoph

Journal:

Wirtschaftsdienst

Year:

2020

Language:

german

File:

PDF, 270 KB

german, 2020

2

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering

Lunkeit, Armin, Schieferdecker, Ina

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

3

[IEEE 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion) - Zurich (2018.12.17-2018.12.20)] 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion) - Enabling the Structuring, Enhancement and Creation of Urban ICT through the Extension of a Standardized Smart City Reference Model

Tcholtchev, Nikolay, Lammel, Philipp, Scholz, Robert, Konitzer, Wojciech, Schieferdecker, Ina

Year:

2018

Language:

english

File:

PDF, 9 KB

english, 2018

4

[ACM Press Companion the10th International Conference - Austin, Texas, USA (2017.12.05-2017.12.08)] Companion Proceedings of the10th International Conference on Utility and Cloud Computing - UCC '17 Companion - Enhancing Cloud based Data Platforms for Smart Cities with Authentication and Authorization Features

Lämmel, Philipp, Tcholtchev, Nikolay, Schieferdecker, Ina

Year:

2017

Language:

english

File:

PDF, 1.79 MB

english, 2017

5

[IEEE 2012 IEEE 36th Annual Computer Software and Applications Conference - COMPSAC 2012 - Izmir, Turkey (2012.07.16-2012.07.20)] 2012 IEEE 36th Annual Computer Software and Applications Conference - (Open) Data Quality

Schieferdecker, Ina

Year:

2012

Language:

english

File:

PDF, 124 KB

english, 2012

6

Data Governance and Sovereignty in Urban Data Spaces Based on Standardized ICT Reference Architectures

Cuno, Silke, Bruns, Lina, Tcholtchev, Nikolay, Lämmel, Philipp, Schieferdecker, Ina

Journal:

Year:

2019

File:

PDF, 915 KB

2019

7

Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3

Ina Schieferdecker, Juergen Grossmann

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 1.30 MB

english, 2008

8

Data Governance and Sovereignty in Urban Data Spaces Based on Standardized ICT Reference Architectures

Cuno, Silke, Bruns, Lina, Tcholtchev, Nikolay, Lämmel, Philipp, Schieferdecker, Ina

Journal:

Year:

2019

Language:

english

File:

PDF, 915 KB

english, 2019

9

[IEEE 2017 Conference for E-Democracy and Open Government (CeDEM) - Krems, Austria (2017.5.17-2017.5.19)] 2017 Conference for E-Democracy and Open Government (CeDEM) - Towards an Open Data Based ICT Reference Architecture for Smart Cities

Schieferdecker, Ina, Tcholtchev, Nikolay, Lammel, Philipp, Scholz, Robert, Lapi, Evanela

Year:

2017

Language:

english

File:

PDF, 324 KB

english, 2017

10

[IEEE IEEE GLOBECOM 2007-2007 IEEE Global Telecommunications Conference - Washington, DC, USA (2007.11.26-2007.11.30)] IEEE GLOBECOM 2007-2007 IEEE Global Telecommunications Conference - A Workload Model for Benchmarking IMS Core Networks

Din, George, Petre, Razvan, Schieferdecker, Ina

Year:

2007

Language:

english

File:

PDF, 587 KB

english, 2007

11

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - IoT-Testware - An Eclipse Project

Schieferdecker, Ina, Kretzschmann, Sascha, Rennoch, Axel, Wagner, Michael

Year:

2017

Language:

english

File:

PDF, 894 KB

english, 2017

12

[IEEE 2011 Eighth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2011.04.11-2011.04.13)] 2011 Eighth International Conference on Information Technology: New Generations - Automated Java GUI Modeling for Model-Based Testing Purposes

Aho, Pekka, Menz, Nadja, Räty, Tomi, Schieferdecker, Ina

Year:

2011

Language:

english

File:

PDF, 514 KB

english, 2011

13

[IEEE 2012 IEEE Globecom Workshops (GC Wkshps) - Anaheim, CA, USA (2012.12.3-2012.12.7)] 2012 IEEE Globecom Workshops - Auto-Collaboration for optimal network resource utilization in fixed IPv6 networks

Tcholtchev, Nikolay, Prakash, Arun, Schieferdecker, Ina, Chaparadza, Ranganai, Petre, Razvan

Year:

2012

Language:

english

File:

PDF, 505 KB

english, 2012

14

[Lecture Notes in Computer Science] SDL 2015: Model-Driven Engineering for Smart Cities Volume 9369 || SDL - The IoT Language

Fischer, Joachim, Scheidgen, Markus, Schieferdecker, Ina, Reed, Rick

Year:

2015

Language:

english

File:

PDF, 433 KB

english, 2015

15

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - A Workload Model for Benchmarking BPEL Engines

Din, George, Eckert, Klaus-Peter, Schieferdecker, Ina

Year:

2008

Language:

english

File:

PDF, 504 KB

english, 2008

16

[IEEE 11th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'07) - Sedona, AZ, USA (2007.03.21-2007.03.23)] 11th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'07) - Quality Assurance for Autonomous Systems--A Review of Model-Based Methods

Schieferdecker, Ina

Year:

2007

Language:

english

File:

PDF, 74 KB

english, 2007

17

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.23-2006.05.23)] Proceedings of the 2006 international workshop on Software engineering for automotive systems - SEAS '06 - Continuous TTCN-3

Schieferdecker, Ina, Bringmann, Eckard, Großmann, Jürgen

Year:

2006

Language:

english

File:

PDF, 205 KB

english, 2006

18

[IEEE 2008 19th International Conference on Systems Engineering (ICSENG) - Las Vegas, NV, USA (2008.08.19-2008.08.21)] 2008 19th International Conference on Systems Engineering - TTCN-3 Test Data Analyser Using Constraint Programming

Vega, Diana, Din, George, Schieferdecker, Ina

Year:

2008

Language:

english

File:

PDF, 431 KB

english, 2008

19

[IEEE 2010 Sixth International Conference on Networking and Services (ICNS) - Cancun, Mexico (2010.03.7-2010.03.13)] 2010 Sixth International Conference on Networking and Services - Testing Environment for Real-Time Communications Intensive Systems

Serbanescu, Diana Alina, Schieferdecker, Ina

Year:

2010

Language:

english

File:

PDF, 641 KB

english, 2010

20

[IEEE 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th International Computer Software and Applications Conference Workshops - The Concept of a Mobility Data Cloud: Design, Implementation and Trials

Tcholtchev, Nikolay, Dittwald, Benjamin, Scheel, Thomas, Zilci, Begum Ilke, Schmidt, Danilo, Lammel, Philipp, Jacobsen, Jurma, Schieferdecker, Ina

Year:

2014

Language:

english

File:

PDF, 428 KB

english, 2014

21

[IEEE 2012 IEEE 36th Annual Computer Software and Applications Conference - COMPSAC 2012 - Izmir, Turkey (2012.07.16-2012.07.20)] 2012 IEEE 36th Annual Computer Software and Applications Conference - Trustworthiness of Open Source, Open Data, Open Systems and Open Standards

Schieferdecker, Ina

Year:

2012

Language:

english

File:

PDF, 77 KB

english, 2012

22

[Lecture Notes in Computer Science] Model Driven Architecture – Foundations and Applications Volume 5095 || Ladder Metamodeling and PLC Program Validation through Time Petri Nets

Schieferdecker, Ina, Hartman, Alan

Year:

2008

Language:

english

File:

PDF, 610 KB

english, 2008

23

Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3–4, 2000—selected papers

Hubert Garavel, Stefania Gnesi, Ina Schieferdecker

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 37 KB

english, 2003

24

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Testing Embedded Real Time Systems with TTCN-3

Grossmann, Juergen, Serbanescu, Diana, Schieferdecker, Ina

Year:

2009

Language:

english

File:

PDF, 859 KB

english, 2009

25

Introduction to the special section on advances in test automation: the evolution of TTCN-3

Ina Schieferdecker, Jens Grabowski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 75 KB

english, 2008

26

[Lecture Notes in Computer Science] Model Driven Architecture – Foundations and Applications Volume 5095 ||

Schieferdecker, Ina, Hartman, Alan

Year:

2008

Language:

english

File:

PDF, 18.39 MB

english, 2008

27

[IEEE Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) - Sedona, AZ, USA (2007.03.21-2007.03.23)] Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) - Quality Assurance for Autonomous Systems - A Review of Model-Based Methods

Schieferdecker, Ina

Year:

2007

Language:

english

File:

PDF, 78 KB

english, 2007

28

Distributed functional and load tests for Web services

Ina Schieferdecker, George Din, Dimitrios Apostolidis

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 2.03 MB

english, 2005

29

[IEEE 2010 Second International Conference on eHealth, Telemedicine, and Social Medicine (ETELEMED) - St. Maarten, Netherlands Antilles (2010.02.10-2010.02.16)] 2010 Second International Conference on eHealth, Telemedicine, and Social Medicine - Design of a Test Framework for Automated Interoperability Testing of Healthcare Information Systems

Vega, Diana Elena, Schieferdecker, Ina, Din, George

Year:

2010

Language:

english

File:

PDF, 479 KB

english, 2010

30

[IEEE 2008 The Third International Conference on Software Engineering Advances (ICSEA) - Sliema, Malta (2008.10.26-2008.10.31)] 2008 The Third International Conference on Software Engineering Advances - Application of Clustering Methods for Analysing of TTCN-3 Test Data Quality

Vega, Diana, Din, George, Taranu, Stefan, Schieferdecker, Ina

Year:

2008

Language:

english

File:

PDF, 654 KB

english, 2008

31

[IEEE 2012 IEEE 37th Conference on Local Computer Networks Workshops (LCN Workshops) - Clearwater, FL, USA (2012.10.22-2012.10.25)] 37th Annual IEEE Conference on Local Computer Networks -- Workshops - On the interplay of open data, cloud services and network providers towards electric mobility in smart cities

Tcholtchev, Nikolay, Farid, Lena, Marienfeld, Florian, Schieferdecker, Ina, Dittwald, Benjamin, Lapi, Evanela

Year:

2012

Language:

english

File:

PDF, 1.03 MB

english, 2012

32

[Lecture Notes in Computer Science] Model Driven Architecture – Foundations and Applications Volume 5095 || A Metamodeling Approach for Reasoning about Requirements

Schieferdecker, Ina, Hartman, Alan

Year:

2008

Language:

english

File:

PDF, 448 KB

english, 2008

33

[IEEE NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium - Budapest, Hungary (2020.4.20-2020.4.24)] NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium - Industrial Grade Methodology for Firewall Simulation and Requirements Verification

Barakat, Ramon, Catal, Faruk, Tcholtchev, Nikolay, Rebahi, Yacine, Schieferdecker, Ina

Year:

2020

File:

PDF, 527 KB

2020

34

[ACM Press the 12th International Symposium - Berlin, Germany (2016.08.17-2016.08.19)] Proceedings of the 12th International Symposium on Open Collaboration Companion - OpenSym '16 - Urban Data Platforms

Schieferdecker, Ina, Tcholtchev, Nikolay, Lämmel, Philipp

Year:

2016

Language:

english

File:

PDF, 131 KB

english, 2016

35

[ACM Press Proceeding of the 6th international symposium - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems - SEAMS '11 - On the performance of UML state machine interpretation at runtime

Höfig, Edzard, Deussen, Peter H., Schieferdecker, Ina

Year:

2011

Language:

english

File:

PDF, 465 KB

english, 2011

36

[ACM Press the 15th Conference - Nashville, Tennessee (2008.10.18-2008.10.20)] Proceedings of the 15th Conference on Pattern Languages of Programs - PLoP '08 - Quality of test specification by application of patterns

Zander-Nowicka, Justyna, Mosterman, Pieter J., Schieferdecker, Ina

Year:

2008

Language:

english

File:

PDF, 82 KB

english, 2008

37

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Message from the general chairs

Schieferdecker, Ina, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 98 KB

english, 2011

38

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Systematic Analysis of Practical Issues in Test Automation for Communication Based Systems

Tcholtchev, Nikolay, Schneider, Martin A., Schieferdecker, Ina

Year:

2016

Language:

english

File:

PDF, 351 KB

english, 2016

39

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Model-Based Fuzz Testing

Schieferdecker, Ina

Year:

2012

Language:

english

File:

PDF, 102 KB

english, 2012

40

Framework for distributed autonomic self-healing in fixed IPv6 networks

Tcholtchev, Nikolay, Schieferdecker, Ina

Journal:

International Journal of Communication Systems

Year:

2014

Language:

english

File:

PDF, 1017 KB

english, 2014

41

Integriertes Internet-basiertes System für Authentifizierung und Autorisierung

Lämmel, Philipp, Tcholtchev, Nikolay, Schieferdecker, Ina

Journal:

PIK - Praxis der Informationsverarbeitung und Kommunikation

Year:

2015

Language:

german

File:

PDF, 5.95 MB

german, 2015

42

Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme

Ahrens, Klaus, Fischer, Joachim, Holz, Eckhardt, Schieferdecker, Ina

Journal:

it - Information Technology

Year:

1990

File:

PDF, 1.18 MB

1990

43

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Improving evolutionary class testing in the presence of non-public methods

Wappler, Stefan, Schieferdecker, Ina

Year:

2007

Language:

english

File:

PDF, 167 KB

english, 2007

44

[ACM Press the 9th International Symposium - Hong Kong, China (2013.08.05-2013.08.07)] Proceedings of the 9th International Symposium on Open Collaboration - WikiSym '13 - Metadata aggregation at GovData.de

Marienfeld, Florian, Schieferdecker, Ina, Lapi, Evanela, Tcholtchev, Nikolay

Year:

2013

Language:

english

File:

PDF, 429 KB

english, 2013

45

Case Study in Protocol Validation: Validating an ATM Signalling Protocol

Theofanis Vassiliou-Gioles, Ina Schieferdecker

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 161 KB

english, 1998

46

Tool Supported Test Frameworks in TTCN-3

Ina Schieferdecker, Theofanis Vassiliou-Gioles

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 418 KB

english, 2003

47

[IEEE 3rd European Conference on Software Architecture (ECSA) - Cambridge, United Kingdom (2009.09.14-2009.09.17)] 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture - Viewpoints for modeling choreographies in service-oriented architectures

Wieczorek, Sebastian, Roth, Andreas, Stefanescu, Alin, Kozyura, Vitaly, Charfi, Anis, Kraft, Frank Michael, Schieferdecker, Ina

Year:

2009

Language:

english

File:

PDF, 1.05 MB

english, 2009

48

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Online Model-Based Behavioral Fuzzing

Schneider, Martin, Grossmann, Jurgen, Schieferdecker, Ina, Pietschker, Andrej

Year:

2013

Language:

english

File:

PDF, 178 KB

english, 2013

49

[IEEE 2012 IEEE Globecom Workshops (GC Wkshps) - Anaheim, CA, USA (2012.12.3-2012.12.7)] 2012 IEEE Globecom Workshops - Rotary Dial Model — A model-driven methodology for autonomic network design

Prakash, Arun, Schieferdecker, Ina, Wagner, Michael, Hein, Christian

Year:

2012

Language:

english

File:

PDF, 312 KB

english, 2012

50

Model-Based Security Testing

Schieferdecker, Ina, Grossmann, Juergen, Schneider, Martin

Journal:

Electronic Proceedings in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 233 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски